An introduction to Wu's method for mechanical theorem proving in geometry

Wu's algebraic method for mechanically proving geometry theorems is presented at a level as elementary as possible with sufficient examples for further understanding the complete method.The work reported here was supported by NSF Grant DCR-8503498.     

论校园文化和德育目标的一致性

中系统介绍了校园化和德育目标的关系，并找准两之间的结合点，通过分析两的一致性和辩证统一关系，达到育人目的。     

锆钡镧铝氟化物玻璃的分相研究

本文综述了氟化物玻璃中的分相研究。在前人研究基础上应用透射电镜，X射线能谱，电子能量损失谱及X射线衍射，差热分析等研究了锆钡镧铝氟化物玻璃中的液-液分相，发现此种现象普遍存在于该类玻璃之中。对玻璃成分与分相形貌及微观结构之间的关系、对析出晶相种类及分相与析晶的相互影响进行了研究。提出欲降低氟化物玻璃的光损耗，分相与析晶一样是不容忽视的因素。     

复合材料压缩破坏模式的缺陷敏感性

本文基于弹塑性分叉理论研究单向纤维增强复合材料的压缩破坏模式和压缩强度对缺陷的敏感性问题。对于常见复合材料,所得结论是:无缺陷或者小缺陷情况的破坏模式为倾斜破坏带;大缺陷情况的破坏模式为水平破坏带;形成水平破坏带的压力值小于形成倾斜破坏带的压力。     

硅外延片中的杂质控制

有5类掺杂源影响硅的外延片中的杂质分布。主掺杂质控制外延层的杂质浓度，决定外延层的电阻率。固态外扩散、气相自掺杂和系统自掺杂影响衬底界面附近的外延层杂质浓度的深度分布。该文介绍了此3类掺杂源的掺杂过程和抑制方法。金属杂质在外延层中对器件有害，防止沾污和使用吸杂技术能降低金属杂质在外延层中的浓度。     

The Problem of Estimating the Uncertainty of the Fixed Point Temperature Due to the Presence of Impurities

The main problems in estimating the uncertainty due to the presence of impurities in the material: the absence in the documents of a unique definition of the quantity being measured – the fixed point temperature, the lack of agreed methods of realizing the fixed points and the insufficient justification of the equations used for the estimate, are analyzed. The results of a measurement of the melting point of gallium are presented, which differ in the conditions in which they were realized – with one and two liquid-solid interfaces and different solidification conditions, are presented. The reasons for the considerable difference between the values of the temperatures obtained in these experiments are discussed.     

铜铟铋硫对Sn-Ag基无铅焊料性能的影响

研究了Cu、In、Bi、S元素对Sn-Ag基无铅焊料熔点和铺展性的影响。结果表明:Sn-Ag-Cu三元合金成分为95.5%Sn3.5%Ag1%Cu时具有较低熔点(215℃)和好的铺展性;加入适量的In可降低Sn-Ag合金的熔点和改善铺展性能;随w(Bi)的增加Sn-Ag-Bi三元合金的熔点降低、铺展性变好;Sn-Ag合金的熔点随w(S)的增加而升高,加入少量S能改善Sn-Ag合金的铺展性。     

工业层析洗梯液回收套用的一种方法

以生产甲胺基阿维菌素苯甲酸盐精品的工艺——工业层析产生的洗梯液回收套用的过程为例，说明利用二元恒沸物的组成随压力的变化而变化的规律，对生产洗梯液进行有效、简洁、合理分离及套用的方法。     

Partitioning multiple objective optimal solutions with applications in radiotherapy design

The optimal partition for linear programming is induced by any strictly complementary solution, and this partition is important because it characterizes the optimal set. However, constructing a strictly complementary solution in the presence of degeneracy was not practical until interior point algorithms became viable alternatives to the simplex algorithm. We develop analogs of the optimal partition for linear programming in the case of multiple objectives and show that these new partitions provide insight into the optimal set (both pareto optimality and lexicographic ordering are considered). Techniques to produce these optimal partitions are provided, and examples from the design of radiotherapy plans show that these new partitions are useful. A. Holder. Research conducted at Trinity University, TX, and The University of Mississippi, MS. This research was partially supported by ONR Grant N00014-01-1-0917.     

基桩孔内摄像检测技术的研究与应用

基桩孔内摄像技术在有桩身竖向孔的预制桩或钻有竖向孔的灌注桩有很好的应用前景,文章对该方法的原理、仪器的研制进行了阐述,并通过工程实践证实了该技术具有直观、精确、可进行多重缺陷检测及进行定量分析等优越性。